GRABGAM: a gamma analysis code for ultra-low-level HPGe spectra
نویسندگان
چکیده
منابع مشابه
The Sandwich spectrometer for ultra low-level gamma-ray spectrometry.
The technical details and performance of the newly developed Sandwich spectrometer for ultra low-level gamma-ray spectrometry are presented. The spectrometer, which consists of two HPGe detectors, an active muon shield and a lead/copper shield with a convenient and rapid opening mechanism, is located in an underground laboratory at a depth of 500 m water equivalent. The data is collected in lis...
متن کاملAlgebraic Matching of Vulnerabilities in a Low-Level Code
This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...
متن کاملInterprocedural analysis of low-level code
Static analysis of machine code is employed for reverse engineering, automatic detection of low-level errors such as memory violations, malware detection, and many other application areas. Only at the level of executables can all errors introduced by programmers or even by compilers be identified. Analysis of machine code comes at a price: high-level language features such as local variables an...
متن کاملAdaptable Value-Set Analysis for Low-Level Code
This paper presents a framework for binary code analysis that uses only SAT-based algorithms. Within the framework, incremental SAT solving is used to perform a form of weakly relational value-set analysis in a novel way, which connects the expressiveness of the value-sets to computational complexity. Another key feature of our framework is that it translates the semantics of binary code into a...
متن کاملGamma-ray imaging with coaxial HPGe detector
We report on the first experimental demonstration of Compton imaging of gamma rays with a single coaxial high-purity germanium (HPGe) detector. This imaging capability is realized by two-dimensional segmentation of the outside contact in combination with digital pulse-shape analysis, which enables to image gamma rays in 4p without employing a collimator. We are able to demonstrate the ability t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment
سال: 2000
ISSN: 0168-9002
DOI: 10.1016/s0168-9002(00)00276-x